Apports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM
نویسندگان
چکیده
AROM est un système de représentation de connaissances reposant, à l’image des diagrammes de classes d’UML, sur deux types d’entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d’inférence. Ce langage permet l’écriture d’équations, de contraintes, et de requêtes, impliquant les instances des classes et des associations. La présence d’un module de types en AROM permet d’étendre l’ensemble des types (donc des valeurs et des opérateurs) supportés par le LMA. A travers la description du LMA d’AROM, cet article souligne l’apport d’un langage de modélisation algébrique pour un système de représentation de connaissances tant au niveau de la déclarativité qu’en termes des inférences possibles. Mots clés : représentation de connaissances, modèles à objets, langage de modélisation algébrique, types extensibles.
منابع مشابه
G-OWL : Vers un langage de modélisation graphique, polymorphique et typé pour la construction d'une ontologie dans la notation OWL
Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...
متن کاملIntégration interactive de contraintes pour la réduction de dimensions et la visualisation
Résumé. Il existe aujourd’hui de nombreuses méthodes de réduction de dimensions, que ce soit dans un cadre supervisé ou non supervisé. L’un des intérêts de ces méthodes est de pouvoir visualiser les données, avec pour objectif que les objets qui apparaissent "visuellement" proches soient similaires, dans un sens qui correspond aux connaissances d’un expert du domaine ou qui soit conforme aux in...
متن کاملUn formalisme pour la gestion des connaissances. Approche ingénierie dirigée par les modèles
RÉSUMÉ. Les nombreux travaux de recherche autour de IDM (ingénierie dirigée par les modèles) montrent que la gestion de modèles prend une importance grandissante et intervient dans divers domaines comme la gestion des connaissances, la gestion de métadonnées, les ontologies, la qualité de service et le génie logiciel. La représentation de modèles est fondamentale pour la gestion de modèles. Com...
متن کاملSupervision de comportements remarquables d'objets mobiles à partir du suivi et de l'analyse de leurs trajectoires spatio-temporelles
Dans le cadre d’une collaboration avec la société Intactile DESIGN, nous nous intéressons aux scénarios de transports maritimes (déplacements de bateaux) issus de collecte de gros flux de données acquises à partir des objets mobiles d’intérêt. Notre réflexion porte sur la modélisation, la gestion et le traitement de ces données afin de détecter des “patrons” ou des “anomalies” au sein des compo...
متن کاملModélisation de connaissances temporelles en archéologie
RÉSUMÉ. Bien que l’étude de la modélisation des connaissances temporelles soit une préoccupation très présente en Intelligence Artificielle, nous ne connaissons aucun modèle permettant de répondre aux besoins de mise en forme de données temporelles exprimés par la communauté archéologique. Dans cet article, nous proposons un modèle de représentation du temps archéologique fondé sur les relation...
متن کامل